1. ACM Turing Award lectures :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
2. Communicating sequential process
پدیدآورنده : C.A.R. Hoare
موضوع : Electronic digital computers--Programming,Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Communicating sequential processes
پدیدآورنده : Hoare, Charles Antony Richard, 4391-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
H57
4. Communicating sequential processes
پدیدآورنده : Hoare, Charles Antony Richard
موضوع : ، Electronic digital computers -- Programming,، Parallel processing )Electronic computers(
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
5. Communicating sequential processes
پدیدآورنده : HOARE,CHARLES ANTONY RICHARD
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PARALLEL PROCESSING )ELECTRONIC
رده :
QA
76
.
6
.
H57
6. Communicating sequential processes
پدیدآورنده : / C.A.R. Hoare
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic digital computers -- Programming,Parallel processing (Electronic computers)
رده :
QA76
.
6
.
H57
1985
7. Communicating sequential processes
پدیدآورنده : / C. A. R. Hoare
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic digital computers - Programming,Parallel processing electronic
رده :
QA76
.
6
.
H57
1985
8. Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 years of CSP, London, UK, July 7-8, 2004 : revised invited papers
پدیدآورنده : Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، CSP )Computer program language(,Congresses ، Parallel programming )Computer science(,Congresses ، Sequential processing )Computer science(,Congresses ، Computer programming,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
3525
9. Essays in computing science
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic data processing,Computers
رده :
QA
،
76
،.
H56
،
1989
10. Essays in computing science
پدیدآورنده : HOARE,CHARLES ANTONY RICHARD
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DATA PROCESSING , COMPUTERS
رده :
QA
76
.
H56
11. Essays in computing science
پدیدآورنده : / C.A.R.Houre
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Computer science
رده :
004
H679e
12. Essays in computing science /
پدیدآورنده : C.A.R. Hoare ; C.B. Jones, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hoare, C. A. R.-- Bibliography.,Computers.,Electronic data processing.,Bibliography-- Hoare, C.A.R.,Computers.,Electronic data processing.
رده :
QA76
.
5
13. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
14. Operating systems techniques; proceedings
پدیدآورنده : edited by C. A. R. Hoare )and( R. H. Perrott,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Operating systems )Computers( - Congresses
رده :
QA
.
I57
76
.
6
1971
15. Scientific applications of multiprocessors
پدیدآورنده : edited by R. Elliott, and C.A.R. Hoare
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Science- Data processing- Congresses,Multiprocessors- Congresses
رده :
Q
،
183
.
9
،.
S29
،
1989
16. Structured Programming
پدیدآورنده : \ O.J. Dahl, E. W. Dijkstra, C. A. R. Hoare.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer programming.
رده :
E-Book
,
17. Structured programming
پدیدآورنده : / O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Structured programming
رده :
QA76
.
6
.
D33
18. Structured programming,
پدیدآورنده : [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming
رده :
QA76
.
6
.
D33
19. VDM '90 VDM and Z -- Formal Methods in Software Development :
پدیدآورنده : edited by D. Bjørner, C.A.R. Hoare, H. Langmaack.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
20. VDM '90 : VDM and Z : formal methods in software development : Proceedings
پدیدآورنده : D. Bjorner, C.A.R. Hoare, H. Langmaack )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
428
